Le « bonheur danois » : entre satisfactions au travail et sentiment de sécurité

Spécification d'un environnement logiciel d'assistance au travail collaboratif dans le secteur de l'architecture et du B.T.P

Our work aims to specify and develop a groupware for the professionals in the building trade. Our motivation isthe following one: the easyness and cheapness of creating virtual communities thanks to internet technology.Today, actors in the building industry show their wishes to take advantage of this recent opportunity, toimprove global quality of design and construction process...

etude comparative entre le recit de larchange empourpre de sohravardi et le petit prince de saint-exupery

شازده کوچولو که در ظاهر داستانی است کودکانه, با تصاویری کارتونی دربرابر عقل سرخ عرفانی که نثر آن بسیار قدیمی وفهم آن نیازمند تأمل است, قرار می گیرد واین جسارت را دارد که خود را با آن مقایسه کند. جملات پند آموز درهر دو اثر به وفور به چشم می خورد. سیر انفسی و سفر به درون که در عقل سرخ به روشنی دیده می شود درشازده کوچولو درقالب یک سفر میان سیاره ای خود را نشان می دهد. این مسافر کوچولو راهی سیارات ...

Relation entre le pouvoir toxique et le pouvoir antigene des toxines diphterique et tetanique

Risque d'infection et de maladie tuberculeuse associé au travail dans les contextes de soins de santé

CONTEXTE : La tuberculose (TB) chez les travailleurs des soins de santé (HCW) n’a pas été considérée comme un problème grave après l’arrivée des traitements antibiotiques efficaces. L’intérêt a ce sujet a été stimulé à nouveau par le développement de plusieurs mini-épidémies nosocomiales sévères. MÉTHODES : Nous avons fait la revue de la littérature publiée disponible concernant la prévalence e...

Une comparaison entre deux méthodes de preuve de sécurité

In this paper, we compare two methods for security proofs a formal method, and the method by reduction from the complexity theory. A modification of the Otway-Rees protocol is proposed to show out a difference between the two methods : the exchanged key is provably secure in the sense of the BAN logic but it is not when we analyze it by reduction. The difference is due to a limitation of BAN lo...